Fault model - PDFSEARCH.IO - Document Search Engine

Fault model
Results: 252

#	Item
231	On the Danger of Coverage Directed Test Case Generation Matt Staats1 , Gregory Gay2 , Michael Whalen2 , Mats Heimdahl2 1 Korea Advanced Institute of Science & Technology, Daejeon, Republic of Korea Add to Reading List Source URL: www.greggay.com Language: English - Date: 2012-02-10 15:16:31 Software development Test Data Generation Code coverage Fault coverage Unit testing Test Statistical hypothesis testing Model-based testing Software testing Evaluation Statistics
232	Probabilistically Bounded Staleness for Practical Partial Quorums Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, Ion Stoica University of California, Berkeley {pbailis, shivaram, frankl Add to Reading List Source URL: www.bailis.org Language: English - Date: 2012-04-25 14:06:55 Data Database management systems Concurrency control Fault-tolerant computer systems Quorum Data synchronization Eventual consistency Replication Consistency model Data management Transaction processing Computing
233	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Conflict-free Replicated Data Types Marek Zawirski, INRIA & UPMC, Paris, France Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2011-08-26 21:40:08 Concurrent computing Eventual consistency Object-oriented programming Replication Consistency model CAP theorem Object Computing Data synchronization Fault-tolerant computer systems
234	Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains Rune Møller Jensen June 2003 CMU-CS[removed] Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2003-06-20 12:36:37 Diagrams Model checking Mathematical logic Algorithm Applied mathematics Mathematics Boolean algebra Binary decision diagram
235	Verification of Language Based Fault-tolerance Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-10-28 10:04:36 Ericsson Erlang Computer programming Client–server model Computing Software engineering Distributed computing architecture
236	700 VA to 2.1 kVA SINGLE PHASE Model LTN Uninterruptible Power System Designed to be used with linear or non-linear load applications. Add to Reading List Source URL: www.controlledpwr.com Language: English - Date: 2013-05-29 12:57:56 Power supply Battery charger Battery Voltage regulation Technology Energy Fault tolerance Uninterruptible power supply
237	MODEL[removed]Series Headend UPS >Freestanding Configurations 2.4 kVA to 18 kVA Add to Reading List Source URL: www.amt.com Language: English - Date: 2013-01-19 11:21:54 Uninterruptible power supply Electric power Inverter Power factor Power supply Motor-generator Electrical engineering Electromagnetism Fault tolerance
238	1.5 kW — 14 kW single PHAse ultralite Model elu Add to Reading List Source URL: www.controlledpwr.com Language: English - Date: 2014-05-20 12:28:43 Lighting Fault tolerance Emergency light Safety equipment Uninterruptible power supply Inverter Battery charger Power supply Light-emitting diode Electrical engineering Electromagnetism Technology
239	Phil Bernstein & Sudipto Das Microsoft Research July 10, 2013 Copyright © 2013 Microsoft Corp. 1 Add to Reading List Source URL: www.temple.edu Language: English - Date: 2013-07-18 23:33:32 Data Concurrency control Database management systems Fault-tolerant computer systems Data synchronization Linearizability Replication Consistency model Serializability Transaction processing Data management Computing
240	Agents on the Web Robust Software Add to Reading List Source URL: www.cse.sc.edu Language: English - Date: 2002-04-05 12:55:45 Computer architecture Fault tolerance Redundancy Reliability engineering Safety Server RAID Coding theory Agent-based model Fault-tolerant computer systems Error detection and correction Computing

UPDATE